home *** CD-ROM | disk | FTP | other *** search
/ CD/PC Actual 76 / DVD Actual 1 Marzo 2003.iso / Trial / TurboCAD 7.1 Pro / Data.Cab / F25228_textDisplay.java < prev    next >
Encoding:
Java Source  |  2000-11-10  |  13.3 KB  |  351 lines
  1. /**
  2. /*
  3.     Rob Mayfield. IMSI @1997
  4.     The text window uses a small subset of HTML to display multiple color
  5.     in the text. This is done in the displayText class.
  6.     Eventually Multi font, size, style and color text box
  7. **/
  8. import java.awt.*;
  9.  
  10. public class textDisplay extends Canvas
  11. { 
  12.     String Text;
  13.     int width, height, left, top; // area of text box
  14.     java.awt.Color foreGround, backGround;
  15.     java.util.Vector dText = new java.util.Vector();
  16.     java.util.Vector dColor = new java.util.Vector();
  17.     int curPos = 0;
  18.     int viewLeftPos = 0;
  19.     int topLine = 0;   // first line on screen
  20.     int prevTopLine = -1;  // previous top line on screen. Used in checking if repaint needed.
  21.     int aveCharWidth = 0;
  22.     int textLengthMax = 0, textCharLenghtMax = 0;
  23.     int totalLines = 0;
  24.     int lineHeight = 0;
  25.     int lines = 0;
  26.     boolean first = true;
  27.     ViewSourceDialog parent;
  28.     //Color prevTopColor = Color.black;
  29.     Font topFont;
  30.     
  31.     int wow=0;
  32.  
  33.     textDisplay ()
  34.     {   super();
  35.         foreGround = Color.black;
  36.         backGround = Color.white;
  37.         this.parent = (ViewSourceDialog) getParent();
  38.     }
  39.     
  40.     public void setText(String Str)
  41.     {
  42.         int jj=0;
  43.         Text = Str;
  44.         String S;
  45.         Color prevColor = foreGround;  // set up first color for line 1
  46.         int cnt = 0;
  47.         while ((S = getNextString()) != null) 
  48.         {
  49.             String trimStr = rTrim(S);
  50.             dText.addElement(trimStr);  // add to Vector
  51.  
  52.             boolean tag = false;
  53.             int cntChar = 0;
  54.             for (int ii = 0; ii< trimStr.length(); ii++)
  55.             {   if (trimStr.charAt(ii) == '<') tag = true;
  56.                 if (trimStr.charAt(ii) == '>') tag = false;
  57.                 if (!tag) cntChar++;
  58.             }
  59.             if (cntChar > textCharLenghtMax) 
  60.                 textCharLenghtMax = cntChar;
  61.  
  62.             Color c;
  63.             if (cnt == 0) 
  64.             {   // find start color for first line
  65.                 String upStr = trimStr.toUpperCase();
  66.                 int fPos, cPos;
  67.                 if ((fPos=upStr.indexOf("<FONT")) > -1 && (cPos=upStr.indexOf("COLOR=")) > -1)
  68.                 {   if (fPos != 0)  // font not set in first chars
  69.                         prevColor = foreGround;
  70.                     else
  71.                         prevColor = getFirstColor (trimStr);
  72.                 }
  73.                 else
  74.                     prevColor = foreGround;
  75.                 dColor.addElement(prevColor);  // add the color to start line 0
  76.             }
  77.             else
  78.             {
  79.                 dColor.addElement(prevColor);
  80.                 prevColor = ((c=getEndColor (trimStr)) == null) ? prevColor : c;
  81.             }
  82.             //System.out.println("cnt: " + cnt
  83.             cnt++;
  84.         }
  85.         
  86.         repaint();
  87.     }
  88.  
  89.     // finds the next string delimited by HTML <br>
  90.     public String getNextString()
  91.     {   int Start = curPos;
  92.         int End = curPos;
  93.         boolean found = false;
  94.         if (Start > Text.length() || Text.length() == 0) return null;
  95.         while (curPos < Text.length())
  96.         {   
  97.             char c = Text.charAt(curPos);
  98.             if (curPos+3 < Text.length() && Text.charAt(curPos) == '<' && (Text.charAt(curPos+1) == 'b' ||
  99.                 Text.charAt(curPos+1) == 'B') && (Text.charAt(curPos+2) == 'r' || Text.charAt(curPos+2) == 'R') 
  100.                 && Text.charAt(curPos+3) == '>')
  101.             {   End = curPos;
  102.                 curPos += 4;
  103.                 found = true;
  104.                 break;
  105.             }
  106.             curPos++;
  107.             //c = 'a';
  108.         }
  109.         
  110.         if (curPos == Text.length())
  111.         {   if (End == Start) 
  112.             {   curPos++; // increment so next call to getNextString() will return null
  113.                 return Text.substring(Start, curPos-1);
  114.             }
  115.             else return Text.substring(Start, End);
  116.         }
  117.         else if (End == Start)
  118.         {   if (found) return (" "); // return blank line (well almost blank with one space). we do this so calling routine reads another line.
  119.             return null;
  120.         }
  121.         else
  122.         {   
  123.             return (Text.substring(Start, End));
  124.         }
  125.     }
  126.         
  127.     public void resize (int width, int height)
  128.     {   this.width = width;
  129.         this.height = height;
  130.         repaint();
  131.     }
  132.  
  133.     public synchronized void  reshape (int left, int top, int width, int height)
  134.     {   this.left = left;
  135.         this.top = top;
  136.         this.width = width;
  137.         this.height = height;
  138.         super.reshape(left, top, width, height);
  139.         lines = 0;  // reset the number of showing lines in text area
  140.  
  141.         repaint();
  142.     }
  143.  
  144.     public synchronized void setBackground(Color c)
  145.     {
  146.         super.setBackground(c);
  147.         backGround = c;
  148.  
  149.     }
  150.  
  151.     public synchronized void setForeground(Color c)
  152.     {
  153.         super.setForeground(c);
  154.         foreGround = c;
  155.     }
  156.  
  157.     public void verticalScrollbarAction(int Action, Object arg)
  158.     {
  159.         int sPos = ((Integer) arg).intValue();
  160.         topLine = sPos;
  161.         if (topLine != prevTopLine) 
  162.             repaint();
  163.         prevTopLine = topLine;
  164.     }
  165.  
  166.     public void horizontalScrollbarAction(int Action, Object arg)
  167.     {
  168.         int sPos = ((Integer) arg).intValue();
  169.         viewLeftPos = -sPos * aveCharWidth;
  170.         repaint();
  171.     }
  172.  
  173.     // get color for end of line by reading FONT tag
  174.     public Color getEndColor (String Str)
  175.     {
  176.         int fPos, cPos, pos = 0;
  177.         String upStr = Str.toUpperCase();      
  178.  
  179.         if ((fPos=upStr.lastIndexOf("<FONT")) > -1 && (cPos=upStr.lastIndexOf("COLOR=")) > -1)
  180.         {    
  181.             cPos += 6;    
  182.             if (Str.charAt(cPos)=='\"') cPos++;  // find beginning of hex or long color number
  183.             if (Str.charAt(cPos)=='\'') cPos++;  // find beginning of hex or long color number
  184.             if (Str.charAt(cPos)=='#') 
  185.             {    cPos++;  // find beginning of hex or long color number
  186.     
  187.                 int Start = cPos; // starting position of number
  188.                 while (Str.charAt(cPos) != '\"' && Str.charAt(cPos) != ' ' && Str.charAt(cPos) != '\'') cPos++; // find end of number
  189.                 String hexString = upStr.substring(Start, cPos); // get number as string
  190.                 while (Str.charAt(cPos) != '>' && cPos < Str.length()) cPos++; // find end of number                
  191.                 if (hexString.length() != 6) return null;                 
  192.                 int intColor = Integer.parseInt(hexString, 16);  // convert from hex string to int
  193.                 return (new Color(intColor));  // new color                
  194.             }
  195.             else
  196.                 return null;
  197.         }
  198.         else
  199.             return null;
  200.     }
  201.  
  202.     // get color for beginning of each line
  203.     public Color getFirstColor (String Str)
  204.     {
  205.         int fPos, cPos, pos = 0;
  206.         String upStr = Str.toUpperCase();      
  207.  
  208.         if ((fPos=upStr.indexOf("<FONT", pos)) > -1 && (cPos=upStr.indexOf("COLOR=", pos)) > -1)
  209.         {   
  210.             cPos += 6;    
  211.             if (Str.charAt(cPos)=='\"') cPos++;  // find beginning of hex or long color number
  212.             if (Str.charAt(cPos)=='\'') cPos++;  // find beginning of hex or long color number
  213.             if (Str.charAt(cPos)=='#') 
  214.             {    cPos++;  // find beginning of hex or long color number
  215.     
  216.                 int Start = cPos; // starting position of number
  217.                 while (Str.charAt(cPos) != '\"' && Str.charAt(cPos) != ' ' && Str.charAt(cPos) != '\'') cPos++; // find end of number
  218.                 String hexString = upStr.substring(Start, cPos); // get number as string
  219.                 while (Str.charAt(cPos) != '>' && cPos < Str.length()) cPos++; // find end of number                
  220.                 if (hexString.length() != 6) return null;                 
  221.                 int intColor = Integer.parseInt(hexString, 16);  // convert from hex string to int
  222.                 return (new Color(intColor));  // new color                
  223.             }
  224.             else
  225.                 return null;
  226.         }
  227.         else
  228.             return null;
  229.  
  230.     }
  231.  
  232.     public void paint(java.awt.Graphics g)
  233.     {
  234.         String Str, resultStr, upStr, drawStr;
  235.  
  236.         Font cFont = new Font("Courier", Font.BOLD, 12);
  237.         g.setFont(cFont);
  238.         //g.setColor(prevTopColor);  // get default color
  239.         Color fg = foreGround;
  240.  
  241.         FontMetrics fm = g.getFontMetrics(cFont);
  242.  
  243.         if (aveCharWidth == 0) aveCharWidth = fm.stringWidth("M"); // get the average char width for incremental scrolling
  244.         if (lineHeight == 0) lineHeight = fm.getHeight(); // get the height of a line
  245.       
  246.         if (lines == 0) lines = height/lineHeight;
  247.         int num = ((dText.size() - topLine) < lines) ? dText.size() - topLine : lines;
  248.  
  249.         // cycle through the lines of text and draw to screen
  250.         for (int ii = 0; ii < num; ii++)
  251.         {
  252.  
  253.             if (topLine > dText.size() - 1) break;
  254.             Str = (String)dText.elementAt(ii+topLine);
  255.             g.setColor((Color)dColor.elementAt(ii+topLine));
  256.             //g.setFont((Font)dFont.elementAt(ii+topLine));
  257.             int drawPos = 1;        // starting position to draw string
  258.             upStr = Str.toUpperCase();      
  259.  
  260.             int cPos = -1;
  261.             int fPos = -1;         
  262.             int pos = 0; 
  263.             boolean printAsIs = false;
  264.             boolean foundFontTag = false;
  265.             // see if font or color change. If not just draw text for line, else draw in different font and color
  266.             while ((fPos=upStr.indexOf("<FONT", pos)) > -1 && (cPos=upStr.indexOf("COLOR=", pos)) > -1)
  267.             {   foundFontTag = true;
  268.                 printAsIs = false;                
  269.                 cPos += 6;    
  270.                 if (Str.charAt(cPos)=='\"') cPos++;  // find beginning of hex or long color number
  271.                 if (Str.charAt(cPos)=='\'') cPos++;  // find beginning of hex or long color number
  272.                 if (Str.charAt(cPos)=='#') cPos++;  // find beginning of hex or long color number
  273.                 else 
  274.                 {   printAsIs = true;   
  275.                     break; // not a valid hex number ("#FF00FF" format)
  276.                 }
  277.                 int Start = cPos; // starting position of number
  278.                 while (Str.charAt(cPos) != '\"' && Str.charAt(cPos) != ' ' && Str.charAt(cPos) != '\'') cPos++; // find end of number
  279.                 String hexString = upStr.substring(Start, cPos); // get number as string
  280.                 while (Str.charAt(cPos) != '>' && cPos < Str.length()) cPos++; // find end of number                
  281.                 if (hexString.length() != 6) 
  282.                 {   printAsIs = true;   
  283.                     break; // not a valid hex number ("#FF00FF" format)
  284.                 }
  285.  
  286.                 drawStr = Str.substring(pos, fPos);
  287.                 g.drawString(drawStr, drawPos+viewLeftPos, lineHeight * (ii+1));  // draw string in current color
  288.  
  289.                 drawPos += fm.stringWidth(drawStr);
  290.                 int intColor = Integer.parseInt(hexString, 16);  // convert from hex string to int
  291.                 fg = new Color(intColor);  // set new color                
  292.                 g.setColor(fg);  // return to entry color                
  293.                 pos = cPos+1;
  294.             }
  295.             if (foundFontTag)
  296.             {   g.setColor(fg);  // return to entry color                              
  297.                 g.drawString(Str.substring(pos, Str.length()), drawPos+viewLeftPos, lineHeight * (ii+1));  // draw string in current color                
  298.                 if (first)  // find max length of string
  299.                 {   int wid = drawPos + fm.stringWidth(Str.substring(pos, Str.length()));  // add last segment to length
  300.                     if (wid > textLengthMax) 
  301.                         textLengthMax = wid;
  302.                 }
  303.  
  304.             }
  305.             if (!foundFontTag || printAsIs)
  306.             {   if (first)  // find max length of string
  307.                 {   int wid = fm.stringWidth(Str);
  308.                     if (wid > textLengthMax) 
  309.                         textLengthMax = wid;
  310.                 }
  311.                 g.drawString (Str, 1+viewLeftPos, lineHeight * (ii+1));  
  312.             }
  313.  
  314.             foreGround = fg;  // return to entry color
  315.             //if (ii == 0) prevTopColor = fg;
  316.         }
  317.  
  318.         if (first)
  319.         {
  320.  
  321.             textLengthMax = (textLengthMax + 30) / aveCharWidth;  // add slop space for scrolling
  322.             if (textCharLenghtMax > textLengthMax) textLengthMax = textCharLenghtMax;
  323.             ViewSourceDialog parent = (ViewSourceDialog) getParent();
  324.             parent.horizontalScrollbar.setPageIncrement(textLengthMax/4);
  325.             parent.horizontalScrollbar.setValues(0, 6, 0, textLengthMax);
  326.  
  327.             totalLines = dText.size();
  328.  
  329.             parent.verticalScrollbar.setPageIncrement(totalLines/4);
  330.             parent.verticalScrollbar.setValues(0, 6, 0, totalLines);
  331.  
  332.         }
  333.         first = false;
  334.     }
  335.  
  336.     public String rTrim(String Str) 
  337.     {   int iLen, len;
  338.         len = iLen = Str.length() - 1;
  339.         int st = 0;
  340.         while ((len > 0) && (Str.charAt(len) <= ' ')) 
  341.         {
  342.             len--;
  343.         }
  344.         return (len < iLen) ? Str.substring(st, len+1) : Str;
  345.     }
  346.  
  347.  
  348. }   // End of class textDisplay
  349.  
  350.  
  351.